Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Type systems
• Subtyping
• Whiley
• OCaml
• ALGOL 68
• Type conversion
• Const
• ML

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A New Generic Scheme for Functional Logic Programming with Constraints Francisco J. L´opez Fraguas · Mario Rodr´ıguez

Source URL: gpd.sip.ucm.es

Scala,&LMS&and&Delite&for&& High5Performance&DSLs&and&Program&Generators& Tutorial&at&ECOOP&2013:&&scalaBlms.github.io/pldi2013& Tiark&Rompf&

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Software
• Programming language implementation
• Functional languages
• Object-oriented programming languages
• Interpreter
• Compiler
• Scala
• European Conference on Object-Oriented Programming

Qualified Computations in Functional Logic Programming Rafael Caballero, Mario Rodr´ıguez-Artalejo, and Carlos A. Romero-D´ıaz Departamento de Sistemas Inform´ aticos y Computaci´ on, Universidad Complutense

Source URL: gpd.sip.ucm.es

Sam Tobin-Hochstadt School of Informatics & Computing Indiana University  S. Woodlawn Ave. Bloomington, IN 

Source URL: homes.soic.indiana.edu

• Software engineering
• Computer programming
• Computing
• Functional languages
• Association for Computing Machinery
• Matthias Felleisen
• International Conference on Functional Programming
• Scheme
• SIGPLAN
• Racket
• European Symposium on Programming
• Symposium on Trends in Functional Programming

Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson Matthew Flatt University of Utah, School of Computing

Source URL: scheme2011.ucombinator.org

• Software engineering
• Computer programming
• Computing
• Source code
• Transformation languages
• C
• Functional languages
• Hygienic macro
• Scheme
• Syntax
• Macro
• Make

Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France)

Source URL: alan.petitepomme.net

• Software engineering
• Computer science
• Computing
• Boomerang
• Functional programming
• Symposium on Principles of Programming Languages
• International Conference on Functional Programming
• Benjamin C. Pierce
• SIGPLAN
• Coq
• French Institute for Research in Computer Science and Automation
• Research Institute of Computer Science and Random Systems

The Functional Web Warp: A Haskell Web Server Michael Snoyman • Suite Solutions R

Source URL: steve.vinoski.net

• Software engineering
• Computing
• Computer programming
• World Wide Web
• Functional programming
• Yesod
• Iteratee
• Snap
• Network protocols
• Monad
• Haskell
• Glasgow Haskell Compiler

Electronic Notes in Theoretical Computer Science (Preliminary Versions) 15th workshop on functional and (constraint) logic programming WFLP’06

Source URL: gpd.sip.ucm.es

Under consideration for publication in J. Functional Programming 1 THEORETICAL PEARL Type-safe cast does no harm: Syntactic

Source URL: www.cis.upenn.edu